Using SDL for Modeling Behavior Composition
نویسندگان
چکیده
Behavior composition is a means to achieve modularity and adaptability. Unlike process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviors called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to model roles and their composition. Simple SDL extensions are also discussed that facilitate composition. These extensions do not require changes to be made to the SDL seman-
منابع مشابه
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach ...
متن کاملUsing SDL for Prototyping Low Rate Wireless Personal Area Networks
This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...
متن کاملUsing SDL for Modelling Behaviour Composition
Behaviour composition is a means to achieve modularity and adaptability. Differently from process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviours called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to mo...
متن کاملCo-Modeling of Embedded Networks Using SystemC and SDL
Today, SDL and SystemC are two very popular languages for embedded systems modeling. SDL has specific advanced features that make it good for reflection of the multi-object systems and interactions between modules. It is also good for system model validation. The SystemC models are better suitable for tracing internal functions of the modeled modules. The hypothetical possibility of combined us...
متن کاملRepresenting Fibonacci function through cellular automata using Specification and Description Language
In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-CA. Also we add some extension to SDL language to simplify the representation of these automata. Thanks to SDL and m:n-CA the behavior of the cellular automata model can be defined in a graphical ...
متن کامل